Algebraic approach for dependable logic control systems design

Algebraic approach for dependable logic control systems design

An algebraic approach for dependable logic control systems design

This article presents a formal method that enables to design a logic control system from specifications given in natural language. The aim of the proposed method is to prevent designer's faults coming from specifications misinterpretation. A significant part of the article is devoted to the presentation of the formal framework that underlies this formal design method: the algebra II. The operat...

Designing dependable logic controllers using algebraic specifications

Formal methods can strongly contribute to improve dependability of logic controllers during design, by providing means to avoid flaws due to designers' omissions or specifications misinterpretations. This article presents a formal synthesis method that is aimed at obtaining the control laws of a logic system from specifications given in natural language. The formal framework that underlies the ...

Algebraic synthesis of dependable logic controllers

This paper presents an algebraic method to synthesize control laws for logical system controllers. The starting point is a set of functional and dependable requirements expressed with algebraic relations or state models. We propose to synthesize control laws by solving a Boolean equation which represents all the requirements. The mathematical results that we have obtained allow to establish the...

AN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC

In this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...